Algorithmic Debugging to Support Cognitive Diagnosis in Thtoring Systems
نویسنده
چکیده
Cognitive modelling in intelligent tutoring systems aims at identifying a learner's skills and knowledge from his answers to tutor questions and other observed behaviour. In this paper, we propose an innovative variant of Shapiro's algorithmic debugging technique whose application can be used to pin-point learners' erroneous behaviour in terms of an irreducible disagreement to the execution trace of an expert model. Our variant has two major benefits: in contrast to traditional approaches, it does not rely on an explicit encoding on mal-rules, and second, it induces a natural teacher-learner dialogue with no need for the prior scripting of individial turns or higher-level dialogue planning.
منابع مشابه
Algorithmic Debugging to Support Cognitive Diagnosis in Tutoring Systems
Cognitive modelling in intelligent tutoring systems aims at identifying a learner’s skills and knowledge from his answers to tutor questions and other observed behaviour. In this paper, we propose an innovative variant of Shapiro’s algorithmic debugging technique whose application can be used to pin-point learners’ erroneous behaviour in terms of an irreducible disagreement to the execution tra...
متن کاملAlgorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis
Intelligent tutoring systems (ITSs) are capable to intelligently diagnose learners’ problem solving behaviour only in limited and well-defined contexts. Learners are expected to solve problems by closely following a single prescribed problem solving strategy, usually in a fixedorder, step by step manner. Learners failing to match expectations are often met with incorrect diagnoses even when hum...
متن کاملAutomatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging
This paper discusses application of the technique of algorithmic debugging, originating from logic programming, to automatic diagnosis of VLSI digital circuits. In particular, the main aim of the presented work is to provide a method for smooth combination of different diagnosis techniques, where the use of logic specifications and algorithmic debugging plays an essential role. Examples of the ...
متن کاملA Survey of Intelligent Debugging
Automated debugging systems have a long history with interesting results produced by research prototypes and deployed applications. We present an overview of Artificial Intelligence approaches to the development of intelligent debugging systems. These systems range from tutoring systems that possess detailed knowledge about the individual programs as well as about typical programmer errors occu...
متن کاملExplanations and error diagnosis
The report proposes a theoretical approach of the debugging of constraint programs based on the notion of explanation tree (D1.1.1 and D1.1.2 part 2). The proposed approach is an attempt to adapt algorithmic debugging to constraint programming. In this theoretical framework for domain reduction, explanations are proof trees explaining value removals. These proof trees are defined by inductive d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013